proof (used to check a computation